Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
171	A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software requirements Formal methods Procedural programming languages Requirement Comment Formal verification Traceability Axiom C Mathematical proof Metamath
172	Scheme on the Web and in the Classroom A Retrospective about the LAML Project Kurt Nørmark Department of Computer Science, Aalborg University, Denmark Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-06 07:47:48 Functional languages Markup languages Text editors Transformation languages Formal languages Lisp Emacs Scheme XML transformation language XSLT Abstract syntax tree Comment
173	Summer 2009 :: COM SCI 181, Sec.1 :: Introduction to Formal Languages and Automata Theory :: Syllabus/Info Class Information Location, day, time: from the Registrar Add to Reading List Source URL: atakangunal.com Language: English* - Date: 2014-10-22 13:26:26 Formal languages Theoretical computer science Theory of computation Computability theory Models of computation Computability Automata theory Introduction to the Theory of Computation Turing machine Super-recursive algorithm Algorithm Finite-state machine
174	A death rattle hypothesis for minority rules Beyond conceptual neatness in the weights vs. imperfections debate DIGS, June 2011 Anton Karl Ingason University of Iceland Introduction Add to Reading List Source URL: linguist.is Language: English - Date: 2011-07-14 06:38:23 Syntax Grammar Formal languages PRO Weight Formal grammar
175	LNCSLongest Motifs with a Functionally Equivalent Central Block Add to Reading List Source URL: pbil.univ-lyon1.fr Language: English - Date: 2008-10-22 02:35:21 Logic in computer science FO Finite model theory Combinatory logic Formal languages Planted motif search
176	Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-07-07 11:03:52 Model theory Constraint programming Logical truth Mathematical logic Formal languages Structure Interpretation Satisfiability Substitution Constraint satisfaction problem Complexity of constraint satisfaction Boolean satisfiability problem
177	Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA) Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-05-29 14:49:51 Finite automata Theoretical computer science Formal languages Infographics Linear temporal logic Temporal logic Finite-state machine Diagram Sequence Formal verification Automata theory Bchi automaton
178	1 Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2016-03-21 01:41:35 Computability theory Recursively enumerable set Theory of computation Formal languages Spectral theory
179	Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-13 14:10:53 Formal methods Logic in computer science Theoretical computer science Hardware verification languages Aspect-oriented software development Formal verification Model checking Abstraction E Communications protocol Modularity Construction and Analysis of Distributed Processes
180	CSE 584A Class 9 Jeremy Buhler February 17, 2016 1 Add to Reading List Source URL: classes.engineering.wustl.edu Language: English - Date: 2016-02-17 07:34:28 Arrays Suffix array Formal languages String searching algorithm Binary search algorithm Substring Time complexity LCP array

UPDATE